
#include<stdio.h>




int main(unsigned long long speid, unsigned long long argp, unsigned long long envp)
{
    printf("spumedia_kernel: speid = 0x%08x%08x\n",(int)(speid>>32),(int)speid);
}
